A definable nonstandard model of the reals
نویسندگان
چکیده
We prove, in ZFC, the existence of a definable, countably saturated elementary extension of the reals.
منابع مشابه
The Transfer Principle holds for definable nonstandard models under Countable Choice
Łoś’s theorem for (bounded) D-ultrapowers, D being the ultrafilter introduced by Kanovei and Shelah [Journal of Symbolic Logic, 69(1):159–164, 2004], can be established within Zermelo–Fraenkel set theory plus Countable Choice (ZF+ACω). Thus, the Transfer Principle for both Kanovei and Shelah’s definable nonstandard model of the reals and Herzberg’s definable nonstandard enlargement of the super...
متن کاملPerfect-Set Properties in L(R)[U]
It is well-known that various forms of the axiom of choice lead to sets of reals with singular properties. One of the most familiar examples is Bernstein's totally imperfect set of reals obtained using a well-ordering of R, i.e., a set of reals X which is neither disjoint nor includes a nonempty perfect set of reals (see [Be]). That some form of AC is needed to get such a set was proved much la...
متن کاملNonstandard Meromorphic Groups
Extending the work of [7] on groups definable in compact complex manifolds and of [1] on strongly minimal groups definable in nonstandard compact complex manifolds, we classify all groups definable in nonstandard compact complex manifolds showing that if G is such a group then there are a linear algebraic group L, a definably compact group T , and definable exact sequence 1→ L → G → T → 1.
متن کاملOD elements of countable OD sets in the Solovay model
It is true in the Solovay model that every countable ordinal-definable set of sets of reals contains only ordinal-definable elements.
متن کاملNear Integral Points of Sets Definable in O Minimal Structures
Modifying the proof of a theorem of Wilkie, it is shown that if a one dimnsional set S is definable in an O minimal expansion of the ordered field of the reals, and if it is regularly exponentially near to many integral points, then there is an unbounded set, which is R definable without parameters, and which is exponentially near to S.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 69 شماره
صفحات -
تاریخ انتشار 2004